Microsoft Word - IC1408-e.docx

Source URL: cmstatistics.org

• Computing
• Knowledge
• Data
• Research methods
• Formal sciences
• Big data
• Data management
• Technology forecasting
• Transaction processing
• Data analysis
• Artificial neural network
• Statistics

c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Declarative programming
• Computer programming
• Lambda calculus
• Functional programming
• Subroutines
• Formal methods
• Theoretical computer science
• Combinatory logic
• Let expression
• Lambda lifting
• Anonymous function

Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

Source URL: se.inf.ethz.ch

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Logic in computer science
• Object-oriented programming
• Postcondition
• Random testing
• Eiffel
• General-purpose computing on graphics processing units
• Test data generation

Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR

Source URL: www.cis.upenn.edu

Inferring Programmer Intent and Related Errors from Software By MARK GREGORY GABEL B.S. (California Polytechnic State University, San Luis ObispoM.S. (California Polytechnic State University, San Luis Obispo) 2006

Source URL: web.cs.ucdavis.edu

• Theoretical computer science
• Technology
• Computing
• Product development
• Formal methods
• Logic in computer science
• Science and technology
• Formal verification
• Software development
• Software testing
• Oracle
• Software bug

Cognitive Process Designer - An Open-Source Tool to Capture Processes according to the Linked Data Principles Demo Paper Tobias Weller and Maria Maleshkova Institute for Applied Informatics and Formal Description Methods

Source URL: salad2016.linked.services

Paper presented at the Population Association of America 2011 Annual Meeting - Washington, DC. Session 125: Formal Demography I: Mathematical Models and Methods (Friday 1 April 2011, 12:30 PM - 2:20 PM) Latest revision 6

Source URL: esa.un.org

Preface As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal

Source URL: softwareabstractions.org

VerCors project Marieke Huisman Formal Methods and Tools

Source URL: fmt.ewi.utwente.nl

xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency